Dalla Preda, Mila: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Trading-off security and performance in barrier slicing for remote software entrusting

Mariano Ceccato, Mila Dalla Preda, Jasvir Nagra, Christian Collberg, Paolo Tonella

Journal:

Automated Software Engineering

Year:

2009

Language:

english

File:

PDF, 640 KB

english, 2009

2

[ACM Press the 7th Software Security, Protection, and Reverse Engineering / Software Security and Protection Workshop - Orlando, FL, USA (2017.12.05-2017.12.06)] Proceedings of the 7th Software Security, Protection, and Reverse Engineering / Software Security and Protection Workshop on - SSPREW-7 - GroupDroid

Marastoni, Niccolò, Continella, Andrea, Quarta, Davide, Zanero, Stefano, Preda, Mila Dalla

Year:

2017

Language:

english

File:

PDF, 844 KB

english, 2017

3

A semantics-based approach to malware detection

Preda, Mila Dalla, Christodorescu, Mihai, Jha, Somesh, Debray, Saumya

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 695 KB

english, 2007

4

Developing correct, distributed, adaptive software

Dalla Preda, Mila, Gabbrielli, Maurizio, Giallorenzo, Saverio, Lanese, Ivan, Mauro, Jacopo

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 340 KB

english, 2015

5

[ACM Press ACM SIGPLAN - San Diego, CA, USA (2014.01.22-2014.01.24)] Proceedings of ACM SIGPLAN on Program Protection and Reverse Engineering Workshop 2014 - PPREW'14 - Analyzing program dependencies for malware detection

Preda, Mila Dalla, Mastroeni, Isabella, Giacobazzi, Roberto

Year:

2014

Language:

english

File:

PDF, 294 KB

english, 2014

6

[IEEE Seventh IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2007) - Paris, France (2007.09.30-2007.10.1)] Seventh IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2007) - Barrier Slicing for Remote Software Trusting

Ceccato, Mariano, Preda, Mila Dalla, Nagra, Jasvir, Collberg, Christian, Tonella, Paolo

Year:

2007

Language:

english

File:

PDF, 300 KB

english, 2007

7

[IEEE 2012 5th IEEE International Conference on Service-Oriented Computing and Applications (SOCA) - Taipei, Taiwan (2012.12.17-2012.12.19)] 2012 Fifth IEEE International Conference on Service-Oriented Computing and Applications (SOCA) - Service integration via target-transparent mediation

Preda, Mila Dalla, Gabbrielli, Maurizio, Guidi, Claudio, Mauro, Jacopo, Montesi, Fabrizio

Year:

2012

Language:

english

File:

PDF, 276 KB

english, 2012

8

Unveiling metamorphism by abstract interpretation of code properties

Dalla Preda, Mila, Giacobazzi, Roberto, Debray, Saumya

Journal:

Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 917 KB

english, 2015

9

[ACM Press the 34th annual ACM SIGPLAN-SIGACT symposium - Nice, France (2007.01.17-2007.01.19)] Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '07 - A semantics-based approach to malware detection

Preda, Mila Dalla, Christodorescu, Mihai, Jha, Somesh, Debray, Saumya

Year:

2007

Language:

english

File:

PDF, 695 KB

english, 2007

10

A semantics-based approach to malware detection

Preda, Mila Dalla, Christodorescu, Mihai, Jha, Somesh, Debray, Saumya

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2008

Language:

english

File:

PDF, 609 KB

english, 2008

11

[ACM Press the 2nd ACM SIGPLAN Program Protection and Reverse Engineering Workshop - Rome, Italy (2013.01.26-2013.01.26)] Proceedings of the 2nd ACM SIGPLAN Program Protection and Reverse Engineering Workshop on - PPREW '13 - Fast location of similar code fragments using semantic 'juice'

Lakhotia, Arun, Preda, Mila Dalla, Giacobazzi, Roberto

Year:

2013

Language:

english

File:

PDF, 187 KB

english, 2013

12

[ACM Press the 2009 ACM symposium - Honolulu, Hawaii (2009.03.08-2008.03.12)] Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09 - Remote software protection by orthogonal client replacement

Ceccato, Mariano, Tonella, Paolo, Preda, Mila Dalla, Majumdar, Anirban

Year:

2009

Language:

english

File:

PDF, 311 KB

english, 2009

13

[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - Abstract Symbolic Automata

Dalla Preda, Mila, Giacobazzi, Roberto, Lakhotia, Arun, Mastroeni, Isabella

Year:

2015

Language:

english

File:

PDF, 13.79 MB

english, 2015

14

[IEEE 2015 IEEE/ACM 1st International Workshop on Software Protection (SPRO) - Florence, Italy (2015.5.19-2015.5.19)] 2015 IEEE/ACM 1st International Workshop on Software Protection - Infections as Abstract Symbolic Finite Automata: Formal Model and Applications

Preda, Mila Dalla, Mastroeni, Isabella

Year:

2015

Language:

english

File:

PDF, 276 KB

english, 2015

15

Maximal incompleteness as obfuscation potency

Giacobazzi, Roberto, Mastroeni, Isabella, Dalla Preda, Mila

Journal:

Formal Aspects of Computing

Year:

2017

Language:

english

File:

PDF, 1.37 MB

english, 2017

16

[IEEE Seventh IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2007) - Paris, France (2007.09.30-2007.10.1)] Seventh IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2007) - Barrier Slicing for Remote Software Trusting

Ceccato, Mariano, Preda, Mila Dalla, Nagra, Jasvir, Collberg, Christian, Tonella, Paolo

Year:

2007

Language:

english

File:

PDF, 300 KB

english, 2007

17

Abstract Symbolic Automata

Dalla Preda, Mila, Giacobazzi, Roberto, Lakhotia, Arun, Mastroeni, Isabella

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 13.79 MB

english, 2015

18

Testing android malware detectors against code obfuscation: a systematization of knowledge and unified methodology

Preda, Mila Dalla, Maggi, Federico

Journal:

Journal of Computer Virology and Hacking Techniques

Year:

2016

Language:

english

File:

PDF, 1.00 MB

english, 2016

19

[ACM Press the 6th Workshop - Los Angeles, California (2016.12.05-2016.12.06)] Proceedings of the 6th Workshop on Software Security, Protection, and Reverse Engineering - SSPREW '16 - Active Android malware analysis

Sartea, Riccardo, Preda, Mila Dalla, Farinelli, Alessandro, Giacobazzi, Roberto, Mastroeni, Isabella

Year:

2016

Language:

english

File:

PDF, 1.01 MB

english, 2016

20

[IEEE 2016 IEEE Conference on Communications and Network Security (CNS) - Philadelphia, PA, USA (2016.10.17-2016.10.19)] 2016 IEEE Conference on Communications and Network Security (CNS) - On-chip system call tracing: A feasibility study and open prototype

Chengyu Zheng,, Preda, Mila Dalla, Granjal, Jorge, Zanero, Stefano, Maggi, Federico

Year:

2016

Language:

english

File:

PDF, 1.18 MB

english, 2016

21

Software Watermarking: A Semantics-based Approach

Dalla Preda, Mila, Pasqua, Michele

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2017

Language:

english

File:

PDF, 314 KB

english, 2017

22

Abstract Similarity Analysis

Dalla Preda, Mila, Vidali, Vanessa

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2017

Language:

english

File:

PDF, 262 KB

english, 2017

23

Characterizing a property-driven obfuscation strategy

Dalla Preda, Mila, Mastroeni, Isabella

Journal:

Journal of Computer Security

Year:

2017

Language:

english

File:

PDF, 359 KB

english, 2017

24

[ACM Press the 1st International Workshop - Montpellier, France (2018.09.03-2018.09.03)] Proceedings of the 1st International Workshop on Machine Learning and Software Engineering in Symbiosis - MASES 2018 - A deep learning approach to program similarity

Marastoni, Niccolò, Giacobazzi, Roberto, Dalla Preda, Mila

Year:

2018

Language:

english

File:

PDF, 3.47 MB

english, 2018

25

Semantics-based software watermarking by abstract interpretation

DALLA PREDA, MILA, PASQUA, MICHELE

Journal:

Mathematical Structures in Computer Science

Year:

2019

Language:

english

File:

PDF, 681 KB

english, 2019

26

[IEEE 2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) - Genoa, Italy (2020.9.7-2020.9.11)] 2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) - Revealing Similarities in Android Malware by Dissecting their Methods

Pasetto, Michele, Marastoni, Niccolo, Preda, Mila Dalla

Year:

2020

File:

PDF, 1.07 MB

2020